A Testing Platform for Teaching Secure Distributed Systems Programming
نویسندگان
چکیده
In this paper, we report on our experience with transitioning a research platform for performing adversarial testing on distributed system implementations into a tool for teaching students how to implement robust distributed systems. We present how we integrated the tool in a graduate-level distributed systems course by describing the modifications we made to the tool, the projects used in conjunction with the tool, as well as the activities performed by the instructor and the students. We evaluated the effectiveness of the tool through multiple surveys conducted throughout the class and reported the results. Keywords— Distributed Systems; Secure Programming; Computer Science Education; Robustness; Virtualization; Testing
منابع مشابه
A Security Model for Distributed Computing
This paper presents a multi-tier model for secure computing as a teaching method platform. The security model is based on establishing the trustworthiness and role of each component in a distributed computing environment: trusted users, trusted servers, trusted administrators, untrusted client, untrusted communication media and intermediate systems, etc. The model provides a basis for teaching ...
متن کاملUnified Declarative Platform for Secure Networked Information Systems
We present a unified declarative platform for specifying, implementing, and analyzing secure networked information systems. Our work builds upon techniques from logic-based trust management systems, declarative networking, and data analysis via provenance. We make the following contributions. First, we propose the secure network datalog (SeNDlog) language that unifies Binder, a logic-based lang...
متن کاملUnified Platform for Secure Networked Information Systems
In this paper, we present a unified declarative platform for specifying, implementing, analyzing and auditing large-scale secure information systems. Our proposed system builds upon techniques from logic-based trust management systems, declarative networking, and data analysis via provenance. First, we propose the Secure Network Datalog (SeNDlog) language that unifies Binder, a logic-based lang...
متن کاملJava Based Distributed File System
There are distributed file systems that are being used in businesses and individuals but still users face various challenges and problems in using those systems. The distributed file system based on Java resolve the difficulties that were occurring in the past systems and provides various functionalities to users such as naming and transparency of files, high scalability, file replication with ...
متن کاملDeclarative Secure Distributed Systems
In the past decade, distributed systems have rapidly evolved and gained significant traction in the research community, with an increasing interest concentrated on developing and analyzing secure distributed systems. In this paper, we present DS2 (Declarative Secure Distributed Systems), a unified platform for specifying, implementing, and analyzing large-scale secure distributed systems. First...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2016